curry-tools-source software package provides Tools that are used by different Curry systems, like PAKCS or KiCS2, you can install in your Ubuntu 17.04 (Zesty Zapus) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install curry-tools-source
curry-tools-source is installed in your system.
Make ensure the curry-tools-source package were installed using the commands given below,
$ sudo dpkg-query -l | grep curry-tools-source *
You will get with curry-tools-source package name, version, architecture and description in a table
| Distro | Ubuntu 17 04 zesty zapus |
| Section | Development |
| Package | curry-tools-source |
| Version | 1.0.0+dfsg1-1 |
| Description | Tools that are used by different Curry systems, like PAKCS or KiCS2 |
| Sub Section | devel |
I'm very pleased to share my working experience in the Linux field and have posted articles in this website — bits and pieces learned throughout my career.
